VND13.5 trillion (US$602 million)